nonmonotonic logic

非单调逻辑